翻訳と辞書 |
Category of magmas : ウィキペディア英語版 | Category of magmas
In mathematics, the category of magmas, denoted Mag, has as objects sets with a binary operation, and morphisms given by homomorphisms of operations (in the universal algebra sense). The category Mag has direct products, so the concept of a magma object (internal binary operation) makes sense. (As in any category with direct products). There is an inclusion functor: as trivial magmas, with operations given by projection: . An important property is that an injective endomorphism can be extended to an automorphism of a magma extension, just the colimit of the (constant sequence of the) endomorphism. Because the singleton is the zero object of Mag, and because Mag is algebraic, Mag is pointed and complete. ==References== 〔
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Category of magmas」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|